Total Books: 1 - 1 /1
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
Lee mas
Total Books: 1 - 1 /1
